node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
node(136).
node(137).
node(138).
node(139).
node(140).
link(1,7) :- #0.177.
link(7,1) :- #0.11.
link(1,10) :- #0.3.
link(10,1) :- #0.898.
link(1,32) :- #0.839.
link(32,1) :- #0.067.
link(1,41) :- #0.441.
link(41,1) :- #0.477.
link(1,43) :- #0.033.
link(43,1) :- #0.744.
link(1,47) :- #0.026.
link(47,1) :- #0.008.
link(1,49) :- #0.131.
link(49,1) :- #0.386.
link(1,50) :- #0.571.
link(50,1) :- #0.494.
link(1,66) :- #0.302.
link(66,1) :- #0.765.
link(1,68) :- #0.766.
link(68,1) :- #0.651.
link(1,69) :- #0.319.
link(69,1) :- #0.591.
link(1,85) :- #0.524.
link(85,1) :- #0.409.
link(1,89) :- #0.673.
link(89,1) :- #0.149.
link(1,117) :- #0.902.
link(117,1) :- #0.607.
link(1,131) :- #0.284.
link(131,1) :- #0.431.
link(1,138) :- #0.229.
link(138,1) :- #0.341.
link(2,8) :- #0.294.
link(8,2) :- #0.876.
link(2,16) :- #0.241.
link(16,2) :- #0.659.
link(2,47) :- #0.648.
link(47,2) :- #0.061.
link(2,51) :- #0.326.
link(51,2) :- #0.026.
link(2,52) :- #0.14.
link(52,2) :- #0.145.
link(2,57) :- #0.422.
link(57,2) :- #0.905.
link(2,65) :- #0.356.
link(65,2) :- #0.975.
link(2,71) :- #0.908.
link(71,2) :- #0.577.
link(2,72) :- #0.498.
link(72,2) :- #0.703.
link(2,87) :- #0.037.
link(87,2) :- #0.226.
link(2,88) :- #0.407.
link(88,2) :- #0.739.
link(2,89) :- #0.392.
link(89,2) :- #0.978.
link(2,112) :- #0.628.
link(112,2) :- #0.24.
link(2,133) :- #0.241.
link(133,2) :- #0.882.
link(2,136) :- #0.992.
link(136,2) :- #0.247.
link(3,28) :- #0.951.
link(28,3) :- #0.359.
link(3,31) :- #0.727.
link(31,3) :- #0.565.
link(3,45) :- #0.278.
link(45,3) :- #0.856.
link(3,58) :- #0.342.
link(58,3) :- #0.485.
link(3,109) :- #0.845.
link(109,3) :- #0.941.
link(3,110) :- #0.715.
link(110,3) :- #0.275.
link(3,122) :- #0.686.
link(122,3) :- #0.884.
link(3,125) :- #0.647.
link(125,3) :- #0.835.
link(3,127) :- #0.982.
link(127,3) :- #0.451.
link(3,140) :- #0.218.
link(140,3) :- #0.929.
link(4,13) :- #0.856.
link(13,4) :- #0.814.
link(4,18) :- #0.284.
link(18,4) :- #0.746.
link(4,25) :- #0.19.
link(25,4) :- #0.689.
link(4,35) :- #0.35.
link(35,4) :- #0.336.
link(4,55) :- #0.31.
link(55,4) :- #0.29.
link(4,59) :- #0.407.
link(59,4) :- #0.188.
link(4,64) :- #0.051.
link(64,4) :- #0.894.
link(4,69) :- #0.542.
link(69,4) :- #0.396.
link(4,77) :- #0.281.
link(77,4) :- #0.576.
link(4,88) :- #0.712.
link(88,4) :- #0.717.
link(4,90) :- #0.578.
link(90,4) :- #0.545.
link(4,106) :- #0.729.
link(106,4) :- #0.105.
link(4,111) :- #0.154.
link(111,4) :- #0.693.
link(4,113) :- #0.774.
link(113,4) :- #0.096.
link(4,116) :- #0.703.
link(116,4) :- #0.202.
link(4,117) :- #0.643.
link(117,4) :- #0.737.
link(5,8) :- #0.886.
link(8,5) :- #0.974.
link(5,34) :- #0.922.
link(34,5) :- #0.368.
link(5,68) :- #0.288.
link(68,5) :- #0.085.
link(5,76) :- #0.853.
link(76,5) :- #0.931.
link(5,77) :- #0.809.
link(77,5) :- #0.529.
link(5,80) :- #0.043.
link(80,5) :- #0.02.
link(5,83) :- #0.374.
link(83,5) :- #0.108.
link(5,94) :- #0.43.
link(94,5) :- #0.392.
link(5,98) :- #0.075.
link(98,5) :- #0.11.
link(5,108) :- #0.063.
link(108,5) :- #0.335.
link(5,112) :- #0.443.
link(112,5) :- #0.23.
link(5,115) :- #0.825.
link(115,5) :- #0.176.
link(5,140) :- #0.605.
link(140,5) :- #0.35.
link(6,17) :- #0.11.
link(17,6) :- #0.35.
link(6,21) :- #0.756.
link(21,6) :- #0.094.
link(6,48) :- #0.603.
link(48,6) :- #0.096.
link(6,50) :- #0.594.
link(50,6) :- #0.35.
link(6,53) :- #0.509.
link(53,6) :- #0.884.
link(6,70) :- #0.248.
link(70,6) :- #0.095.
link(6,75) :- #0.185.
link(75,6) :- #0.592.
link(6,90) :- #0.506.
link(90,6) :- #0.187.
link(6,94) :- #0.85.
link(94,6) :- #0.942.
link(6,96) :- #0.023.
link(96,6) :- #0.221.
link(6,100) :- #0.635.
link(100,6) :- #0.532.
link(6,109) :- #0.018.
link(109,6) :- #0.967.
link(6,115) :- #0.323.
link(115,6) :- #0.432.
link(6,125) :- #0.242.
link(125,6) :- #0.234.
link(6,139) :- #0.832.
link(139,6) :- #0.796.
link(7,10) :- #0.555.
link(10,7) :- #0.679.
link(7,12) :- #0.408.
link(12,7) :- #0.545.
link(7,25) :- #0.063.
link(25,7) :- #0.01.
link(7,27) :- #0.083.
link(27,7) :- #0.182.
link(7,28) :- #0.912.
link(28,7) :- #0.256.
link(7,44) :- #0.785.
link(44,7) :- #0.327.
link(7,57) :- #0.36.
link(57,7) :- #0.162.
link(7,58) :- #0.334.
link(58,7) :- #0.098.
link(7,64) :- #0.931.
link(64,7) :- #0.93.
link(7,74) :- #0.027.
link(74,7) :- #0.943.
link(7,88) :- #0.121.
link(88,7) :- #0.376.
link(7,118) :- #0.662.
link(118,7) :- #0.778.
link(7,133) :- #0.38.
link(133,7) :- #0.172.
link(8,29) :- #0.234.
link(29,8) :- #0.889.
link(8,45) :- #0.812.
link(45,8) :- #0.261.
link(8,58) :- #0.677.
link(58,8) :- #0.241.
link(8,59) :- #0.975.
link(59,8) :- #0.265.
link(8,64) :- #0.276.
link(64,8) :- #0.935.
link(8,76) :- #0.477.
link(76,8) :- #0.868.
link(8,83) :- #0.748.
link(83,8) :- #0.025.
link(8,94) :- #0.955.
link(94,8) :- #0.819.
link(8,117) :- #0.711.
link(117,8) :- #0.906.
link(9,28) :- #0.04.
link(28,9) :- #0.484.
link(9,45) :- #0.763.
link(45,9) :- #0.825.
link(9,46) :- #0.745.
link(46,9) :- #0.346.
link(9,53) :- #0.787.
link(53,9) :- #0.479.
link(9,71) :- #0.073.
link(71,9) :- #0.727.
link(9,75) :- #0.244.
link(75,9) :- #0.482.
link(9,79) :- #0.027.
link(79,9) :- #0.358.
link(9,80) :- #0.129.
link(80,9) :- #0.08.
link(9,123) :- #0.298.
link(123,9) :- #0.452.
link(9,133) :- #0.186.
link(133,9) :- #0.455.
link(10,11) :- #0.942.
link(11,10) :- #0.316.
link(10,28) :- #0.865.
link(28,10) :- #0.606.
link(10,37) :- #0.223.
link(37,10) :- #0.502.
link(10,38) :- #0.981.
link(38,10) :- #0.797.
link(10,45) :- #0.291.
link(45,10) :- #0.139.
link(10,56) :- #0.976.
link(56,10) :- #0.127.
link(10,65) :- #0.592.
link(65,10) :- #0.844.
link(10,69) :- #0.108.
link(69,10) :- #0.894.
link(10,80) :- #0.291.
link(80,10) :- #0.945.
link(10,83) :- #0.588.
link(83,10) :- #0.963.
link(10,84) :- #0.804.
link(84,10) :- #0.244.
link(10,95) :- #0.08.
link(95,10) :- #0.668.
link(10,96) :- #0.894.
link(96,10) :- #0.136.
link(10,99) :- #0.781.
link(99,10) :- #0.521.
link(10,101) :- #0.031.
link(101,10) :- #0.203.
link(10,102) :- #0.281.
link(102,10) :- #0.762.
link(10,103) :- #0.703.
link(103,10) :- #0.932.
link(10,104) :- #0.257.
link(104,10) :- #0.057.
link(10,109) :- #0.571.
link(109,10) :- #0.521.
link(10,117) :- #0.95.
link(117,10) :- #0.222.
link(10,128) :- #0.257.
link(128,10) :- #0.994.
link(10,135) :- #0.826.
link(135,10) :- #0.093.
link(10,138) :- #0.834.
link(138,10) :- #0.535.
link(11,14) :- #0.503.
link(14,11) :- #0.564.
link(11,17) :- #0.809.
link(17,11) :- #0.83.
link(11,25) :- #0.31.
link(25,11) :- #0.574.
link(11,36) :- #0.494.
link(36,11) :- #0.752.
link(11,45) :- #0.849.
link(45,11) :- #0.699.
link(11,54) :- #0.773.
link(54,11) :- #0.253.
link(11,71) :- #0.851.
link(71,11) :- #0.959.
link(11,79) :- #0.525.
link(79,11) :- #0.331.
link(11,110) :- #0.077.
link(110,11) :- #0.077.
link(11,117) :- #0.679.
link(117,11) :- #0.286.
link(11,119) :- #0.066.
link(119,11) :- #0.356.
link(11,133) :- #0.253.
link(133,11) :- #0.641.
link(11,134) :- #0.186.
link(134,11) :- #0.616.
link(12,26) :- #0.831.
link(26,12) :- #0.575.
link(12,32) :- #0.735.
link(32,12) :- #0.507.
link(12,36) :- #0.086.
link(36,12) :- #0.893.
link(12,44) :- #0.062.
link(44,12) :- #0.388.
link(12,45) :- #0.839.
link(45,12) :- #0.514.
link(12,48) :- #0.903.
link(48,12) :- #0.882.
link(12,54) :- #0.299.
link(54,12) :- #0.678.
link(12,57) :- #0.986.
link(57,12) :- #0.816.
link(12,63) :- #0.891.
link(63,12) :- #0.031.
link(12,66) :- #0.398.
link(66,12) :- #0.405.
link(12,73) :- #0.082.
link(73,12) :- #0.088.
link(12,91) :- #0.366.
link(91,12) :- #0.118.
link(12,134) :- #0.884.
link(134,12) :- #0.221.
link(12,135) :- #0.747.
link(135,12) :- #0.363.
link(13,16) :- #0.111.
link(16,13) :- #0.989.
link(13,26) :- #0.191.
link(26,13) :- #0.057.
link(13,54) :- #0.547.
link(54,13) :- #0.764.
link(13,70) :- #0.399.
link(70,13) :- #0.861.
link(13,82) :- #0.026.
link(82,13) :- #0.917.
link(13,89) :- #0.997.
link(89,13) :- #0.612.
link(13,102) :- #0.293.
link(102,13) :- #0.408.
link(13,105) :- #0.975.
link(105,13) :- #0.785.
link(13,114) :- #0.557.
link(114,13) :- #0.031.
link(13,134) :- #0.733.
link(134,13) :- #0.064.
link(14,46) :- #0.797.
link(46,14) :- #0.601.
link(14,55) :- #0.987.
link(55,14) :- #0.605.
link(14,81) :- #0.516.
link(81,14) :- #0.519.
link(14,88) :- #0.998.
link(88,14) :- #0.131.
link(14,92) :- #0.274.
link(92,14) :- #0.745.
link(14,97) :- #0.102.
link(97,14) :- #0.511.
link(14,105) :- #0.491.
link(105,14) :- #0.875.
link(14,108) :- #0.55.
link(108,14) :- #0.187.
link(14,111) :- #0.974.
link(111,14) :- #0.433.
link(15,19) :- #0.571.
link(19,15) :- #0.316.
link(15,34) :- #0.9.
link(34,15) :- #0.493.
link(15,37) :- #0.89.
link(37,15) :- #0.339.
link(15,43) :- #0.703.
link(43,15) :- #0.464.
link(15,58) :- #0.854.
link(58,15) :- #0.272.
link(15,75) :- #0.989.
link(75,15) :- #0.103.
link(15,76) :- #0.957.
link(76,15) :- #0.092.
link(15,80) :- #0.043.
link(80,15) :- #0.409.
link(15,89) :- #0.871.
link(89,15) :- #0.459.
link(15,100) :- #0.489.
link(100,15) :- #0.673.
link(15,112) :- #0.66.
link(112,15) :- #0.609.
link(15,115) :- #0.523.
link(115,15) :- #0.95.
link(15,123) :- #0.508.
link(123,15) :- #0.665.
link(16,19) :- #0.869.
link(19,16) :- #0.545.
link(16,29) :- #0.078.
link(29,16) :- #0.133.
link(16,35) :- #0.228.
link(35,16) :- #0.294.
link(16,38) :- #0.219.
link(38,16) :- #0.774.
link(16,39) :- #0.604.
link(39,16) :- #0.715.
link(16,43) :- #0.6.
link(43,16) :- #0.94.
link(16,45) :- #0.147.
link(45,16) :- #0.484.
link(16,49) :- #0.595.
link(49,16) :- #0.49.
link(16,67) :- #0.38.
link(67,16) :- #0.389.
link(16,68) :- #0.233.
link(68,16) :- #0.327.
link(16,71) :- #0.166.
link(71,16) :- #0.52.
link(16,73) :- #0.759.
link(73,16) :- #0.869.
link(16,76) :- #0.953.
link(76,16) :- #0.158.
link(16,79) :- #0.546.
link(79,16) :- #0.521.
link(16,92) :- #0.725.
link(92,16) :- #0.828.
link(16,113) :- #0.339.
link(113,16) :- #0.534.
link(16,118) :- #0.219.
link(118,16) :- #0.397.
link(16,131) :- #0.478.
link(131,16) :- #0.07.
link(17,24) :- #0.052.
link(24,17) :- #0.776.
link(17,47) :- #0.526.
link(47,17) :- #0.646.
link(17,55) :- #0.127.
link(55,17) :- #0.799.
link(17,61) :- #0.32.
link(61,17) :- #0.22.
link(17,65) :- #0.348.
link(65,17) :- #0.58.
link(17,69) :- #0.447.
link(69,17) :- #0.64.
link(17,71) :- #0.254.
link(71,17) :- #0.236.
link(17,97) :- #0.71.
link(97,17) :- #0.039.
link(17,98) :- #0.48.
link(98,17) :- #0.194.
link(17,104) :- #0.659.
link(104,17) :- #0.543.
link(17,124) :- #0.219.
link(124,17) :- #0.546.
link(17,138) :- #0.421.
link(138,17) :- #0.544.
link(18,21) :- #0.515.
link(21,18) :- #0.508.
link(18,23) :- #0.101.
link(23,18) :- #0.165.
link(18,28) :- #0.617.
link(28,18) :- #0.182.
link(18,39) :- #0.022.
link(39,18) :- #0.902.
link(18,46) :- #0.936.
link(46,18) :- #0.435.
link(18,63) :- #0.211.
link(63,18) :- #0.801.
link(18,65) :- #0.853.
link(65,18) :- #0.101.
link(18,66) :- #0.275.
link(66,18) :- #0.841.
link(18,89) :- #0.454.
link(89,18) :- #0.298.
link(18,102) :- #0.282.
link(102,18) :- #0.178.
link(18,104) :- #0.037.
link(104,18) :- #0.704.
link(18,120) :- #0.231.
link(120,18) :- #0.776.
link(18,122) :- #0.156.
link(122,18) :- #0.262.
link(19,23) :- #0.315.
link(23,19) :- #0.232.
link(19,40) :- #0.124.
link(40,19) :- #0.123.
link(19,42) :- #0.581.
link(42,19) :- #0.796.
link(19,50) :- #0.126.
link(50,19) :- #0.397.
link(19,57) :- #0.774.
link(57,19) :- #0.986.
link(19,73) :- #0.586.
link(73,19) :- #0.664.
link(19,77) :- #0.748.
link(77,19) :- #0.577.
link(19,80) :- #0.792.
link(80,19) :- #0.403.
link(19,101) :- #0.689.
link(101,19) :- #0.218.
link(19,111) :- #0.232.
link(111,19) :- #0.731.
link(19,127) :- #0.571.
link(127,19) :- #0.492.
link(19,131) :- #0.988.
link(131,19) :- #0.91.
link(20,21) :- #0.475.
link(21,20) :- #0.842.
link(20,23) :- #0.205.
link(23,20) :- #0.163.
link(20,49) :- #0.231.
link(49,20) :- #0.678.
link(20,51) :- #0.113.
link(51,20) :- #0.773.
link(20,56) :- #0.713.
link(56,20) :- #0.907.
link(20,67) :- #0.824.
link(67,20) :- #0.491.
link(20,74) :- #0.211.
link(74,20) :- #0.578.
link(20,96) :- #0.862.
link(96,20) :- #0.732.
link(20,116) :- #0.863.
link(116,20) :- #0.932.
link(20,125) :- #0.677.
link(125,20) :- #0.263.
link(20,129) :- #0.679.
link(129,20) :- #0.533.
link(20,131) :- #0.677.
link(131,20) :- #0.374.
link(21,37) :- #0.567.
link(37,21) :- #0.823.
link(21,89) :- #0.312.
link(89,21) :- #0.259.
link(21,93) :- #0.679.
link(93,21) :- #0.325.
link(21,103) :- #0.474.
link(103,21) :- #0.354.
link(21,117) :- #0.745.
link(117,21) :- #0.989.
link(21,120) :- #0.924.
link(120,21) :- #0.104.
link(21,129) :- #0.905.
link(129,21) :- #0.177.
link(21,137) :- #0.202.
link(137,21) :- #0.437.
link(21,140) :- #0.179.
link(140,21) :- #0.383.
link(22,46) :- #0.693.
link(46,22) :- #0.51.
link(22,68) :- #0.628.
link(68,22) :- #0.614.
link(22,71) :- #0.507.
link(71,22) :- #0.044.
link(22,74) :- #0.646.
link(74,22) :- #0.126.
link(22,77) :- #0.788.
link(77,22) :- #0.165.
link(22,86) :- #0.562.
link(86,22) :- #0.766.
link(22,91) :- #0.071.
link(91,22) :- #0.621.
link(22,102) :- #0.957.
link(102,22) :- #0.016.
link(22,103) :- #0.632.
link(103,22) :- #0.029.
link(22,105) :- #0.073.
link(105,22) :- #0.13.
link(22,123) :- #0.246.
link(123,22) :- #0.339.
link(22,138) :- #0.447.
link(138,22) :- #0.75.
link(23,28) :- #0.677.
link(28,23) :- #0.671.
link(23,32) :- #0.142.
link(32,23) :- #0.564.
link(23,34) :- #0.198.
link(34,23) :- #0.345.
link(23,36) :- #0.554.
link(36,23) :- #0.882.
link(23,39) :- #0.838.
link(39,23) :- #0.097.
link(23,57) :- #0.929.
link(57,23) :- #0.3.
link(23,61) :- #0.149.
link(61,23) :- #0.032.
link(23,67) :- #0.144.
link(67,23) :- #0.631.
link(23,68) :- #0.726.
link(68,23) :- #0.407.
link(23,70) :- #0.627.
link(70,23) :- #0.034.
link(23,71) :- #0.201.
link(71,23) :- #0.55.
link(23,74) :- #0.141.
link(74,23) :- #0.396.
link(23,76) :- #0.985.
link(76,23) :- #0.557.
link(23,90) :- #0.507.
link(90,23) :- #0.774.
link(23,102) :- #0.923.
link(102,23) :- #0.113.
link(23,111) :- #0.831.
link(111,23) :- #0.504.
link(23,115) :- #0.376.
link(115,23) :- #0.426.
link(23,119) :- #0.728.
link(119,23) :- #0.95.
link(23,124) :- #0.087.
link(124,23) :- #0.48.
link(23,127) :- #0.951.
link(127,23) :- #0.037.
link(23,135) :- #0.725.
link(135,23) :- #0.366.
link(23,140) :- #0.527.
link(140,23) :- #0.454.
link(24,27) :- #0.938.
link(27,24) :- #0.342.
link(24,32) :- #0.285.
link(32,24) :- #0.768.
link(24,33) :- #0.497.
link(33,24) :- #0.434.
link(24,43) :- #0.861.
link(43,24) :- #0.685.
link(24,55) :- #0.919.
link(55,24) :- #0.286.
link(24,56) :- #0.049.
link(56,24) :- #0.168.
link(24,60) :- #0.533.
link(60,24) :- #0.543.
link(24,76) :- #0.435.
link(76,24) :- #0.394.
link(24,85) :- #0.067.
link(85,24) :- #0.391.
link(24,86) :- #0.749.
link(86,24) :- #0.165.
link(24,95) :- #0.468.
link(95,24) :- #0.823.
link(24,97) :- #0.324.
link(97,24) :- #0.091.
link(24,99) :- #0.156.
link(99,24) :- #0.512.
link(24,105) :- #0.597.
link(105,24) :- #0.834.
link(24,122) :- #0.422.
link(122,24) :- #0.617.
link(25,26) :- #0.085.
link(26,25) :- #0.07.
link(25,29) :- #0.268.
link(29,25) :- #0.767.
link(25,38) :- #0.785.
link(38,25) :- #0.5.
link(25,44) :- #0.846.
link(44,25) :- #0.631.
link(25,48) :- #0.308.
link(48,25) :- #0.617.
link(25,52) :- #0.633.
link(52,25) :- #0.802.
link(25,57) :- #0.083.
link(57,25) :- #0.755.
link(25,58) :- #0.797.
link(58,25) :- #0.967.
link(25,59) :- #0.082.
link(59,25) :- #0.836.
link(25,62) :- #0.513.
link(62,25) :- #0.934.
link(25,69) :- #0.321.
link(69,25) :- #0.786.
link(25,77) :- #0.526.
link(77,25) :- #0.918.
link(25,90) :- #0.709.
link(90,25) :- #0.601.
link(25,95) :- #0.385.
link(95,25) :- #0.373.
link(25,110) :- #0.256.
link(110,25) :- #0.005.
link(25,113) :- #0.953.
link(113,25) :- #0.676.
link(25,120) :- #0.34.
link(120,25) :- #0.576.
link(25,122) :- #0.878.
link(122,25) :- #0.344.
link(25,126) :- #0.227.
link(126,25) :- #0.381.
link(25,129) :- #0.53.
link(129,25) :- #0.322.
link(25,136) :- #0.882.
link(136,25) :- #0.865.
link(26,30) :- #0.778.
link(30,26) :- #0.077.
link(26,49) :- #0.766.
link(49,26) :- #0.082.
link(26,62) :- #0.005.
link(62,26) :- #0.788.
link(26,78) :- #0.654.
link(78,26) :- #0.857.
link(26,98) :- #0.879.
link(98,26) :- #0.302.
link(26,100) :- #0.064.
link(100,26) :- #0.983.
link(26,125) :- #0.827.
link(125,26) :- #0.79.
link(26,135) :- #0.791.
link(135,26) :- #0.045.
link(26,138) :- #0.638.
link(138,26) :- #0.126.
link(27,38) :- #0.73.
link(38,27) :- #0.351.
link(27,40) :- #0.262.
link(40,27) :- #0.078.
link(27,42) :- #0.33.
link(42,27) :- #0.101.
link(27,64) :- #0.392.
link(64,27) :- #0.873.
link(27,89) :- #0.852.
link(89,27) :- #0.575.
link(27,104) :- #0.826.
link(104,27) :- #0.746.
link(27,113) :- #0.207.
link(113,27) :- #0.316.
link(27,119) :- #0.354.
link(119,27) :- #0.786.
link(27,133) :- #0.726.
link(133,27) :- #0.075.
link(27,138) :- #0.302.
link(138,27) :- #0.742.
link(28,36) :- #0.194.
link(36,28) :- #0.577.
link(28,42) :- #0.741.
link(42,28) :- #0.256.
link(28,64) :- #0.97.
link(64,28) :- #0.669.
link(28,65) :- #0.424.
link(65,28) :- #0.193.
link(28,77) :- #0.896.
link(77,28) :- #0.403.
link(28,79) :- #0.154.
link(79,28) :- #0.611.
link(28,96) :- #0.948.
link(96,28) :- #0.518.
link(28,107) :- #0.298.
link(107,28) :- #0.601.
link(28,112) :- #0.504.
link(112,28) :- #0.235.
link(28,126) :- #0.77.
link(126,28) :- #0.336.
link(29,42) :- #0.561.
link(42,29) :- #0.44.
link(29,63) :- #0.784.
link(63,29) :- #0.507.
link(29,71) :- #0.968.
link(71,29) :- #0.06.
link(29,78) :- #0.001.
link(78,29) :- #0.035.
link(29,99) :- #0.508.
link(99,29) :- #0.829.
link(29,110) :- #0.326.
link(110,29) :- #0.736.
link(29,119) :- #0.586.
link(119,29) :- #0.68.
link(29,124) :- #0.002.
link(124,29) :- #0.328.
link(30,41) :- #0.045.
link(41,30) :- #0.611.
link(30,54) :- #0.197.
link(54,30) :- #0.928.
link(30,67) :- #0.812.
link(67,30) :- #0.417.
link(30,84) :- #0.842.
link(84,30) :- #0.382.
link(30,94) :- #0.133.
link(94,30) :- #0.699.
link(30,100) :- #0.708.
link(100,30) :- #0.645.
link(30,104) :- #0.236.
link(104,30) :- #0.804.
link(30,107) :- #0.198.
link(107,30) :- #0.736.
link(30,127) :- #0.614.
link(127,30) :- #0.174.
link(30,140) :- #0.713.
link(140,30) :- #0.993.
link(31,37) :- #0.289.
link(37,31) :- #0.857.
link(31,38) :- #0.132.
link(38,31) :- #0.623.
link(31,42) :- #0.725.
link(42,31) :- #0.983.
link(31,46) :- #0.643.
link(46,31) :- #0.338.
link(31,48) :- #0.195.
link(48,31) :- #0.88.
link(31,65) :- #0.918.
link(65,31) :- #0.043.
link(31,70) :- #0.806.
link(70,31) :- #0.299.
link(31,73) :- #0.4.
link(73,31) :- #0.434.
link(31,79) :- #0.119.
link(79,31) :- #0.324.
link(31,116) :- #0.875.
link(116,31) :- #0.426.
link(31,117) :- #0.554.
link(117,31) :- #0.796.
link(32,33) :- #0.643.
link(33,32) :- #0.962.
link(32,37) :- #0.232.
link(37,32) :- #0.141.
link(32,38) :- #0.893.
link(38,32) :- #0.837.
link(32,40) :- #0.544.
link(40,32) :- #0.033.
link(32,46) :- #0.408.
link(46,32) :- #0.268.
link(32,48) :- #0.627.
link(48,32) :- #0.245.
link(32,58) :- #0.614.
link(58,32) :- #0.342.
link(32,65) :- #0.034.
link(65,32) :- #0.778.
link(32,68) :- #0.554.
link(68,32) :- #0.868.
link(32,76) :- #0.661.
link(76,32) :- #0.131.
link(32,85) :- #0.312.
link(85,32) :- #0.31.
link(32,86) :- #0.231.
link(86,32) :- #0.631.
link(32,91) :- #0.197.
link(91,32) :- #0.109.
link(32,110) :- #0.278.
link(110,32) :- #0.452.
link(32,122) :- #0.084.
link(122,32) :- #0.166.
link(32,140) :- #0.357.
link(140,32) :- #0.51.
link(33,42) :- #0.178.
link(42,33) :- #0.228.
link(33,45) :- #0.323.
link(45,33) :- #0.368.
link(33,64) :- #0.34.
link(64,33) :- #0.321.
link(33,67) :- #0.777.
link(67,33) :- #0.615.
link(33,76) :- #0.614.
link(76,33) :- #0.938.
link(33,83) :- #0.684.
link(83,33) :- #0.773.
link(33,98) :- #0.499.
link(98,33) :- #0.812.
link(33,127) :- #0.446.
link(127,33) :- #0.31.
link(33,130) :- #0.756.
link(130,33) :- #0.584.
link(33,136) :- #0.334.
link(136,33) :- #0.096.
link(34,40) :- #0.459.
link(40,34) :- #0.467.
link(34,46) :- #0.671.
link(46,34) :- #0.921.
link(34,81) :- #0.677.
link(81,34) :- #0.846.
link(34,89) :- #0.991.
link(89,34) :- #0.212.
link(34,95) :- #0.652.
link(95,34) :- #0.254.
link(34,99) :- #0.98.
link(99,34) :- #0.873.
link(34,111) :- #0.848.
link(111,34) :- #0.971.
link(34,124) :- #0.167.
link(124,34) :- #0.173.
link(34,130) :- #0.456.
link(130,34) :- #0.851.
link(34,140) :- #0.454.
link(140,34) :- #0.709.
link(35,40) :- #0.231.
link(40,35) :- #0.493.
link(35,44) :- #0.843.
link(44,35) :- #0.858.
link(35,51) :- #0.313.
link(51,35) :- #0.353.
link(35,63) :- #0.473.
link(63,35) :- #0.476.
link(35,76) :- #0.369.
link(76,35) :- #0.469.
link(35,86) :- #0.849.
link(86,35) :- #0.366.
link(35,108) :- #0.149.
link(108,35) :- #0.488.
link(35,129) :- #0.215.
link(129,35) :- #0.713.
link(35,131) :- #0.869.
link(131,35) :- #0.3.
link(36,44) :- #0.332.
link(44,36) :- #0.956.
link(36,48) :- #0.612.
link(48,36) :- #0.645.
link(36,59) :- #0.649.
link(59,36) :- #0.732.
link(36,66) :- #0.796.
link(66,36) :- #0.341.
link(36,73) :- #0.335.
link(73,36) :- #0.6.
link(36,90) :- #0.174.
link(90,36) :- #0.546.
link(36,92) :- #0.967.
link(92,36) :- #0.205.
link(36,93) :- #0.752.
link(93,36) :- #0.614.
link(36,104) :- #0.62.
link(104,36) :- #0.778.
link(36,105) :- #0.382.
link(105,36) :- #0.387.
link(36,132) :- #0.6.
link(132,36) :- #0.105.
link(36,136) :- #0.832.
link(136,36) :- #0.11.
link(37,38) :- #0.354.
link(38,37) :- #0.94.
link(37,44) :- #0.422.
link(44,37) :- #0.851.
link(37,48) :- #0.015.
link(48,37) :- #0.923.
link(37,49) :- #0.236.
link(49,37) :- #0.365.
link(37,56) :- #0.151.
link(56,37) :- #0.222.
link(37,60) :- #0.645.
link(60,37) :- #0.456.
link(37,69) :- #0.459.
link(69,37) :- #0.663.
link(37,88) :- #0.028.
link(88,37) :- #0.225.
link(37,91) :- #0.29.
link(91,37) :- #0.339.
link(37,105) :- #0.955.
link(105,37) :- #0.365.
link(37,108) :- #0.695.
link(108,37) :- #0.582.
link(37,122) :- #0.441.
link(122,37) :- #0.956.
link(37,124) :- #0.636.
link(124,37) :- #0.29.
link(37,129) :- #0.725.
link(129,37) :- #0.881.
link(37,132) :- #0.591.
link(132,37) :- #0.788.
link(38,64) :- #0.151.
link(64,38) :- #0.179.
link(38,67) :- #0.875.
link(67,38) :- #0.449.
link(38,68) :- #0.482.
link(68,38) :- #0.564.
link(38,83) :- #0.066.
link(83,38) :- #0.785.
link(38,97) :- #0.162.
link(97,38) :- #0.391.
link(38,107) :- #0.236.
link(107,38) :- #0.853.
link(38,111) :- #0.675.
link(111,38) :- #0.114.
link(38,113) :- #0.528.
link(113,38) :- #0.828.
link(38,115) :- #0.293.
link(115,38) :- #0.217.
link(38,123) :- #0.772.
link(123,38) :- #0.014.
link(38,134) :- #0.729.
link(134,38) :- #0.907.
link(39,42) :- #0.455.
link(42,39) :- #0.455.
link(39,44) :- #0.758.
link(44,39) :- #0.908.
link(39,46) :- #0.609.
link(46,39) :- #0.378.
link(39,50) :- #0.984.
link(50,39) :- #0.322.
link(39,53) :- #0.134.
link(53,39) :- #0.893.
link(39,70) :- #0.023.
link(70,39) :- #0.012.
link(39,82) :- #0.329.
link(82,39) :- #0.643.
link(39,84) :- #0.288.
link(84,39) :- #0.854.
link(39,85) :- #0.942.
link(85,39) :- #0.125.
link(39,88) :- #0.929.
link(88,39) :- #0.606.
link(39,91) :- #0.762.
link(91,39) :- #0.499.
link(39,96) :- #0.77.
link(96,39) :- #0.287.
link(39,107) :- #0.749.
link(107,39) :- #0.284.
link(39,110) :- #0.066.
link(110,39) :- #0.932.
link(39,128) :- #0.065.
link(128,39) :- #0.989.
link(39,130) :- #0.761.
link(130,39) :- #0.106.
link(40,76) :- #0.154.
link(76,40) :- #0.687.
link(40,78) :- #0.507.
link(78,40) :- #0.822.
link(40,92) :- #0.868.
link(92,40) :- #0.63.
link(40,104) :- #0.912.
link(104,40) :- #0.726.
link(40,111) :- #0.302.
link(111,40) :- #0.276.
link(40,114) :- #0.313.
link(114,40) :- #0.786.
link(40,115) :- #0.683.
link(115,40) :- #0.627.
link(40,123) :- #0.316.
link(123,40) :- #0.015.
link(40,135) :- #0.994.
link(135,40) :- #0.444.
link(41,47) :- #0.674.
link(47,41) :- #0.274.
link(41,62) :- #0.493.
link(62,41) :- #0.992.
link(41,64) :- #0.839.
link(64,41) :- #0.094.
link(41,66) :- #0.607.
link(66,41) :- #0.217.
link(41,72) :- #0.15.
link(72,41) :- #0.166.
link(41,103) :- #0.666.
link(103,41) :- #0.162.
link(41,113) :- #0.936.
link(113,41) :- #0.357.
link(41,117) :- #0.147.
link(117,41) :- #0.57.
link(41,128) :- #0.234.
link(128,41) :- #0.21.
link(41,129) :- #0.882.
link(129,41) :- #0.744.
link(42,47) :- #0.913.
link(47,42) :- #0.187.
link(42,53) :- #0.367.
link(53,42) :- #0.181.
link(42,59) :- #0.401.
link(59,42) :- #0.785.
link(42,64) :- #0.754.
link(64,42) :- #0.351.
link(42,69) :- #0.001.
link(69,42) :- #0.913.
link(42,72) :- #0.499.
link(72,42) :- #0.318.
link(42,73) :- #0.846.
link(73,42) :- #0.07.
link(42,74) :- #0.261.
link(74,42) :- #0.107.
link(42,77) :- #0.636.
link(77,42) :- #0.115.
link(42,85) :- #0.589.
link(85,42) :- #0.632.
link(42,92) :- #0.388.
link(92,42) :- #0.406.
link(42,94) :- #0.848.
link(94,42) :- #0.276.
link(42,95) :- #0.98.
link(95,42) :- #0.534.
link(42,102) :- #0.81.
link(102,42) :- #0.576.
link(42,130) :- #0.359.
link(130,42) :- #0.423.
link(43,50) :- #0.308.
link(50,43) :- #0.661.
link(43,52) :- #0.124.
link(52,43) :- #0.457.
link(43,62) :- #0.428.
link(62,43) :- #0.833.
link(43,64) :- #0.887.
link(64,43) :- #0.278.
link(43,68) :- #0.156.
link(68,43) :- #0.857.
link(43,79) :- #0.355.
link(79,43) :- #0.657.
link(43,87) :- #0.272.
link(87,43) :- #0.62.
link(43,89) :- #0.641.
link(89,43) :- #0.174.
link(43,97) :- #0.22.
link(97,43) :- #0.198.
link(43,103) :- #0.556.
link(103,43) :- #0.67.
link(43,113) :- #0.672.
link(113,43) :- #0.973.
link(43,131) :- #0.992.
link(131,43) :- #0.185.
link(43,137) :- #0.612.
link(137,43) :- #0.226.
link(44,68) :- #0.096.
link(68,44) :- #0.431.
link(44,69) :- #0.809.
link(69,44) :- #0.166.
link(44,77) :- #0.547.
link(77,44) :- #0.297.
link(44,83) :- #0.069.
link(83,44) :- #0.829.
link(44,86) :- #0.56.
link(86,44) :- #0.061.
link(44,104) :- #0.38.
link(104,44) :- #0.221.
link(44,108) :- #0.165.
link(108,44) :- #0.486.
link(44,114) :- #0.89.
link(114,44) :- #0.774.
link(44,119) :- #0.256.
link(119,44) :- #0.927.
link(44,128) :- #0.228.
link(128,44) :- #0.053.
link(45,47) :- #0.929.
link(47,45) :- #0.599.
link(45,50) :- #0.354.
link(50,45) :- #0.212.
link(45,78) :- #0.741.
link(78,45) :- #0.894.
link(45,83) :- #0.392.
link(83,45) :- #0.196.
link(45,84) :- #0.982.
link(84,45) :- #0.791.
link(45,85) :- #0.541.
link(85,45) :- #0.871.
link(45,122) :- #0.539.
link(122,45) :- #0.101.
link(45,126) :- #0.588.
link(126,45) :- #0.175.
link(45,132) :- #0.815.
link(132,45) :- #0.271.
link(45,135) :- #0.936.
link(135,45) :- #0.098.
link(45,136) :- #0.802.
link(136,45) :- #0.449.
link(45,137) :- #0.714.
link(137,45) :- #0.57.
link(45,138) :- #0.354.
link(138,45) :- #0.142.
link(46,51) :- #0.079.
link(51,46) :- #0.577.
link(46,52) :- #0.916.
link(52,46) :- #0.459.
link(46,64) :- #0.406.
link(64,46) :- #0.498.
link(46,74) :- #0.173.
link(74,46) :- #0.226.
link(46,101) :- #0.772.
link(101,46) :- #0.583.
link(46,113) :- #0.98.
link(113,46) :- #0.091.
link(46,123) :- #0.002.
link(123,46) :- #0.771.
link(47,50) :- #0.238.
link(50,47) :- #0.817.
link(47,58) :- #0.043.
link(58,47) :- #0.854.
link(47,73) :- #0.605.
link(73,47) :- #0.619.
link(47,77) :- #0.551.
link(77,47) :- #0.255.
link(47,90) :- #0.883.
link(90,47) :- #0.48.
link(47,97) :- #0.141.
link(97,47) :- #0.736.
link(47,98) :- #0.734.
link(98,47) :- #0.682.
link(47,102) :- #0.649.
link(102,47) :- #0.014.
link(47,108) :- #0.1.
link(108,47) :- #0.163.
link(47,116) :- #0.35.
link(116,47) :- #0.086.
link(48,52) :- #0.028.
link(52,48) :- #0.199.
link(48,62) :- #0.951.
link(62,48) :- #0.684.
link(48,63) :- #0.831.
link(63,48) :- #0.079.
link(48,66) :- #0.261.
link(66,48) :- #0.508.
link(48,81) :- #0.912.
link(81,48) :- #0.879.
link(48,83) :- #0.201.
link(83,48) :- #0.135.
link(48,90) :- #0.669.
link(90,48) :- #0.059.
link(48,91) :- #0.491.
link(91,48) :- #0.92.
link(48,95) :- #0.548.
link(95,48) :- #0.744.
link(48,98) :- #0.466.
link(98,48) :- #0.888.
link(48,110) :- #0.256.
link(110,48) :- #0.323.
link(48,114) :- #0.505.
link(114,48) :- #0.085.
link(48,121) :- #0.839.
link(121,48) :- #0.158.
link(48,131) :- #0.093.
link(131,48) :- #0.946.
link(49,52) :- #0.73.
link(52,49) :- #0.906.
link(49,53) :- #0.356.
link(53,49) :- #0.733.
link(49,61) :- #0.084.
link(61,49) :- #0.606.
link(49,66) :- #0.55.
link(66,49) :- #0.673.
link(49,68) :- #0.749.
link(68,49) :- #0.305.
link(49,85) :- #0.612.
link(85,49) :- #0.097.
link(49,86) :- #0.035.
link(86,49) :- #0.614.
link(49,89) :- #0.952.
link(89,49) :- #0.083.
link(49,91) :- #0.991.
link(91,49) :- #0.266.
link(49,96) :- #0.758.
link(96,49) :- #0.244.
link(49,103) :- #0.93.
link(103,49) :- #0.996.
link(49,108) :- #0.559.
link(108,49) :- #0.468.
link(49,109) :- #0.55.
link(109,49) :- #0.995.
link(50,83) :- #0.589.
link(83,50) :- #0.336.
link(50,88) :- #0.536.
link(88,50) :- #0.861.
link(50,94) :- #0.939.
link(94,50) :- #0.574.
link(50,123) :- #0.284.
link(123,50) :- #0.527.
link(50,128) :- #0.944.
link(128,50) :- #0.072.
link(50,136) :- #0.367.
link(136,50) :- #0.624.
link(50,140) :- #0.822.
link(140,50) :- #0.657.
link(51,56) :- #0.039.
link(56,51) :- #0.394.
link(51,58) :- #0.217.
link(58,51) :- #0.904.
link(51,60) :- #0.001.
link(60,51) :- #0.601.
link(51,61) :- #0.884.
link(61,51) :- #0.598.
link(51,63) :- #0.623.
link(63,51) :- #0.234.
link(51,67) :- #0.646.
link(67,51) :- #0.259.
link(51,76) :- #0.887.
link(76,51) :- #0.643.
link(51,77) :- #0.832.
link(77,51) :- #0.944.
link(51,88) :- #0.554.
link(88,51) :- #0.501.
link(51,92) :- #0.354.
link(92,51) :- #0.938.
link(51,93) :- #0.079.
link(93,51) :- #0.661.
link(51,94) :- #0.194.
link(94,51) :- #0.155.
link(51,96) :- #0.895.
link(96,51) :- #0.942.
link(51,110) :- #0.474.
link(110,51) :- #0.052.
link(51,112) :- #0.127.
link(112,51) :- #0.812.
link(51,125) :- #0.176.
link(125,51) :- #0.575.
link(51,127) :- #0.951.
link(127,51) :- #0.105.
link(51,134) :- #0.433.
link(134,51) :- #0.337.
link(52,55) :- #0.733.
link(55,52) :- #0.595.
link(52,57) :- #0.771.
link(57,52) :- #0.626.
link(52,58) :- #0.189.
link(58,52) :- #0.751.
link(52,65) :- #0.706.
link(65,52) :- #0.486.
link(52,91) :- #0.83.
link(91,52) :- #0.096.
link(52,102) :- #0.074.
link(102,52) :- #0.534.
link(52,110) :- #0.529.
link(110,52) :- #0.64.
link(52,115) :- #0.86.
link(115,52) :- #0.136.
link(52,121) :- #0.493.
link(121,52) :- #0.135.
link(52,123) :- #0.436.
link(123,52) :- #0.433.
link(52,128) :- #0.046.
link(128,52) :- #0.874.
link(52,130) :- #0.768.
link(130,52) :- #0.533.
link(52,132) :- #0.427.
link(132,52) :- #0.127.
link(53,63) :- #0.615.
link(63,53) :- #0.048.
link(53,66) :- #0.229.
link(66,53) :- #0.63.
link(53,97) :- #0.217.
link(97,53) :- #0.449.
link(54,60) :- #0.823.
link(60,54) :- #0.08.
link(54,61) :- #0.591.
link(61,54) :- #0.292.
link(54,86) :- #0.143.
link(86,54) :- #0.884.
link(54,90) :- #0.959.
link(90,54) :- #0.875.
link(54,91) :- #0.063.
link(91,54) :- #0.218.
link(54,94) :- #0.089.
link(94,54) :- #0.004.
link(54,110) :- #0.248.
link(110,54) :- #0.456.
link(54,121) :- #0.461.
link(121,54) :- #0.136.
link(54,130) :- #0.076.
link(130,54) :- #0.432.
link(55,67) :- #0.108.
link(67,55) :- #0.758.
link(55,68) :- #0.18.
link(68,55) :- #0.511.
link(55,72) :- #0.221.
link(72,55) :- #0.568.
link(55,78) :- #0.16.
link(78,55) :- #0.883.
link(55,79) :- #0.998.
link(79,55) :- #0.126.
link(55,85) :- #0.457.
link(85,55) :- #0.468.
link(55,90) :- #0.53.
link(90,55) :- #0.602.
link(55,94) :- #0.741.
link(94,55) :- #0.839.
link(55,97) :- #0.68.
link(97,55) :- #0.055.
link(55,115) :- #0.996.
link(115,55) :- #0.121.
link(55,117) :- #0.007.
link(117,55) :- #0.143.
link(55,126) :- #0.833.
link(126,55) :- #0.039.
link(55,133) :- #0.625.
link(133,55) :- #0.01.
link(55,140) :- #0.274.
link(140,55) :- #0.672.
link(56,71) :- #0.042.
link(71,56) :- #0.398.
link(56,83) :- #0.936.
link(83,56) :- #0.672.
link(56,85) :- #0.138.
link(85,56) :- #0.401.
link(56,126) :- #0.176.
link(126,56) :- #0.255.
link(56,130) :- #0.543.
link(130,56) :- #0.928.
link(57,72) :- #0.755.
link(72,57) :- #0.35.
link(57,76) :- #0.27.
link(76,57) :- #0.356.
link(57,84) :- #0.889.
link(84,57) :- #0.53.
link(57,86) :- #0.012.
link(86,57) :- #0.517.
link(57,89) :- #0.348.
link(89,57) :- #0.302.
link(57,102) :- #0.448.
link(102,57) :- #0.307.
link(57,122) :- #0.67.
link(122,57) :- #0.855.
link(57,129) :- #0.039.
link(129,57) :- #0.619.
link(57,135) :- #0.303.
link(135,57) :- #0.383.
link(57,136) :- #0.514.
link(136,57) :- #0.012.
link(58,81) :- #0.973.
link(81,58) :- #0.586.
link(58,87) :- #0.757.
link(87,58) :- #0.564.
link(58,98) :- #0.095.
link(98,58) :- #0.377.
link(58,112) :- #0.398.
link(112,58) :- #0.565.
link(58,116) :- #0.196.
link(116,58) :- #0.065.
link(58,120) :- #0.651.
link(120,58) :- #0.392.
link(59,66) :- #0.048.
link(66,59) :- #0.533.
link(59,71) :- #0.133.
link(71,59) :- #0.66.
link(59,85) :- #0.277.
link(85,59) :- #0.963.
link(59,88) :- #0.423.
link(88,59) :- #0.197.
link(59,100) :- #0.198.
link(100,59) :- #0.191.
link(59,119) :- #0.198.
link(119,59) :- #0.911.
link(59,120) :- #0.45.
link(120,59) :- #0.717.
link(59,122) :- #0.235.
link(122,59) :- #0.093.
link(59,124) :- #0.953.
link(124,59) :- #0.905.
link(59,127) :- #0.513.
link(127,59) :- #0.253.
link(59,139) :- #0.768.
link(139,59) :- #0.947.
link(60,75) :- #0.799.
link(75,60) :- #0.506.
link(60,86) :- #0.63.
link(86,60) :- #0.438.
link(60,95) :- #0.491.
link(95,60) :- #0.575.
link(60,98) :- #0.381.
link(98,60) :- #0.905.
link(60,101) :- #0.209.
link(101,60) :- #0.28.
link(60,130) :- #0.83.
link(130,60) :- #0.593.
link(61,73) :- #0.688.
link(73,61) :- #0.54.
link(61,93) :- #0.177.
link(93,61) :- #0.197.
link(61,96) :- #0.358.
link(96,61) :- #0.234.
link(61,102) :- #0.151.
link(102,61) :- #0.934.
link(61,109) :- #0.51.
link(109,61) :- #0.185.
link(61,112) :- #0.063.
link(112,61) :- #0.256.
link(61,122) :- #0.058.
link(122,61) :- #0.167.
link(61,140) :- #0.906.
link(140,61) :- #0.041.
link(62,88) :- #0.361.
link(88,62) :- #0.298.
link(62,98) :- #0.132.
link(98,62) :- #0.301.
link(62,106) :- #0.684.
link(106,62) :- #0.009.
link(62,113) :- #0.372.
link(113,62) :- #0.117.
link(62,139) :- #0.367.
link(139,62) :- #0.773.
link(63,71) :- #0.923.
link(71,63) :- #0.788.
link(63,73) :- #0.301.
link(73,63) :- #0.745.
link(63,74) :- #0.575.
link(74,63) :- #0.444.
link(63,131) :- #0.524.
link(131,63) :- #0.087.
link(64,68) :- #0.246.
link(68,64) :- #0.715.
link(64,89) :- #0.729.
link(89,64) :- #0.99.
link(64,90) :- #0.781.
link(90,64) :- #0.382.
link(64,95) :- #0.716.
link(95,64) :- #0.82.
link(64,106) :- #0.358.
link(106,64) :- #0.474.
link(64,117) :- #0.947.
link(117,64) :- #0.613.
link(64,126) :- #0.673.
link(126,64) :- #0.362.
link(64,130) :- #0.536.
link(130,64) :- #0.652.
link(64,134) :- #0.818.
link(134,64) :- #0.31.
link(64,138) :- #0.555.
link(138,64) :- #0.584.
link(65,69) :- #0.655.
link(69,65) :- #0.591.
link(65,73) :- #0.278.
link(73,65) :- #0.596.
link(65,103) :- #0.993.
link(103,65) :- #0.911.
link(65,116) :- #0.764.
link(116,65) :- #0.321.
link(65,123) :- #0.843.
link(123,65) :- #0.
link(65,138) :- #0.773.
link(138,65) :- #0.314.
link(66,67) :- #0.036.
link(67,66) :- #0.049.
link(66,75) :- #0.514.
link(75,66) :- #0.161.
link(66,77) :- #0.093.
link(77,66) :- #0.296.
link(66,79) :- #0.959.
link(79,66) :- #0.245.
link(66,83) :- #0.113.
link(83,66) :- #0.694.
link(66,89) :- #0.899.
link(89,66) :- #0.232.
link(66,100) :- #0.84.
link(100,66) :- #0.843.
link(66,102) :- #0.221.
link(102,66) :- #0.931.
link(66,105) :- #0.828.
link(105,66) :- #0.542.
link(66,115) :- #0.007.
link(115,66) :- #0.903.
link(66,118) :- #0.614.
link(118,66) :- #0.518.
link(66,133) :- #0.563.
link(133,66) :- #0.348.
link(66,134) :- #0.036.
link(134,66) :- #0.4.
link(66,137) :- #0.653.
link(137,66) :- #0.222.
link(67,119) :- #0.852.
link(119,67) :- #0.584.
link(67,126) :- #0.612.
link(126,67) :- #0.305.
link(67,128) :- #0.759.
link(128,67) :- #0.487.
link(67,129) :- #0.283.
link(129,67) :- #0.218.
link(67,130) :- #0.026.
link(130,67) :- #0.126.
link(67,140) :- #0.324.
link(140,67) :- #0.934.
link(68,70) :- #0.441.
link(70,68) :- #0.291.
link(68,86) :- #0.455.
link(86,68) :- #0.718.
link(68,93) :- #0.161.
link(93,68) :- #0.541.
link(68,96) :- #0.978.
link(96,68) :- #0.107.
link(68,98) :- #0.615.
link(98,68) :- #0.238.
link(68,114) :- #0.928.
link(114,68) :- #0.368.
link(68,119) :- #0.534.
link(119,68) :- #0.149.
link(68,124) :- #0.757.
link(124,68) :- #0.162.
link(68,126) :- #0.928.
link(126,68) :- #0.137.
link(68,131) :- #0.355.
link(131,68) :- #0.894.
link(69,85) :- #0.737.
link(85,69) :- #0.001.
link(69,101) :- #0.73.
link(101,69) :- #0.679.
link(69,102) :- #0.561.
link(102,69) :- #0.022.
link(69,111) :- #0.985.
link(111,69) :- #0.225.
link(69,130) :- #0.274.
link(130,69) :- #0.577.
link(69,139) :- #0.559.
link(139,69) :- #0.149.
link(70,90) :- #0.32.
link(90,70) :- #0.76.
link(70,102) :- #0.564.
link(102,70) :- #0.026.
link(70,120) :- #0.592.
link(120,70) :- #0.183.
link(70,129) :- #0.627.
link(129,70) :- #0.319.
link(70,138) :- #0.037.
link(138,70) :- #0.546.
link(70,140) :- #0.868.
link(140,70) :- #0.312.
link(71,82) :- #0.754.
link(82,71) :- #0.473.
link(71,85) :- #0.547.
link(85,71) :- #0.658.
link(71,93) :- #0.493.
link(93,71) :- #0.202.
link(71,116) :- #0.853.
link(116,71) :- #0.323.
link(71,118) :- #0.975.
link(118,71) :- #0.765.
link(71,137) :- #0.249.
link(137,71) :- #0.87.
link(71,140) :- #0.765.
link(140,71) :- #0.003.
link(72,78) :- #0.511.
link(78,72) :- #0.542.
link(72,82) :- #0.892.
link(82,72) :- #0.458.
link(72,85) :- #0.881.
link(85,72) :- #0.631.
link(72,93) :- #0.73.
link(93,72) :- #0.635.
link(72,100) :- #0.862.
link(100,72) :- #0.745.
link(72,112) :- #0.745.
link(112,72) :- #0.162.
link(72,119) :- #0.834.
link(119,72) :- #0.749.
link(72,139) :- #0.53.
link(139,72) :- #0.732.
link(73,77) :- #0.415.
link(77,73) :- #0.318.
link(73,81) :- #0.615.
link(81,73) :- #0.893.
link(73,82) :- #0.046.
link(82,73) :- #0.783.
link(73,116) :- #0.892.
link(116,73) :- #0.396.
link(74,75) :- #0.621.
link(75,74) :- #0.6.
link(74,78) :- #0.493.
link(78,74) :- #0.995.
link(74,89) :- #0.602.
link(89,74) :- #0.723.
link(74,97) :- #0.613.
link(97,74) :- #0.026.
link(74,105) :- #0.523.
link(105,74) :- #0.898.
link(74,110) :- #0.218.
link(110,74) :- #0.312.
link(74,114) :- #0.351.
link(114,74) :- #0.726.
link(74,116) :- #0.908.
link(116,74) :- #0.762.
link(74,123) :- #0.826.
link(123,74) :- #0.971.
link(74,129) :- #0.265.
link(129,74) :- #0.45.
link(75,79) :- #0.908.
link(79,75) :- #0.064.
link(75,88) :- #0.037.
link(88,75) :- #0.862.
link(75,102) :- #0.102.
link(102,75) :- #0.182.
link(75,105) :- #0.961.
link(105,75) :- #0.939.
link(75,112) :- #0.907.
link(112,75) :- #0.355.
link(75,113) :- #0.366.
link(113,75) :- #0.374.
link(75,115) :- #0.678.
link(115,75) :- #0.229.
link(75,135) :- #0.944.
link(135,75) :- #0.461.
link(75,136) :- #0.869.
link(136,75) :- #0.908.
link(75,139) :- #0.
link(139,75) :- #0.533.
link(76,82) :- #0.053.
link(82,76) :- #0.352.
link(76,109) :- #0.581.
link(109,76) :- #0.337.
link(76,110) :- #0.347.
link(110,76) :- #0.46.
link(76,112) :- #0.212.
link(112,76) :- #0.405.
link(76,114) :- #0.337.
link(114,76) :- #0.191.
link(76,123) :- #0.64.
link(123,76) :- #0.911.
link(76,127) :- #0.297.
link(127,76) :- #0.925.
link(76,130) :- #0.165.
link(130,76) :- #0.457.
link(77,85) :- #0.326.
link(85,77) :- #0.991.
link(77,91) :- #0.698.
link(91,77) :- #0.522.
link(77,104) :- #0.765.
link(104,77) :- #0.789.
link(77,108) :- #0.844.
link(108,77) :- #0.872.
link(77,117) :- #0.279.
link(117,77) :- #0.701.
link(77,124) :- #0.666.
link(124,77) :- #0.296.
link(77,140) :- #0.069.
link(140,77) :- #0.651.
link(78,92) :- #0.681.
link(92,78) :- #0.647.
link(78,105) :- #0.372.
link(105,78) :- #0.627.
link(78,109) :- #0.32.
link(109,78) :- #0.093.
link(78,113) :- #0.606.
link(113,78) :- #0.045.
link(78,122) :- #0.099.
link(122,78) :- #0.716.
link(78,135) :- #0.129.
link(135,78) :- #0.663.
link(78,140) :- #0.928.
link(140,78) :- #0.533.
link(79,80) :- #0.3.
link(80,79) :- #0.065.
link(79,83) :- #0.084.
link(83,79) :- #0.619.
link(79,98) :- #0.793.
link(98,79) :- #0.836.
link(79,99) :- #0.891.
link(99,79) :- #0.212.
link(79,106) :- #0.514.
link(106,79) :- #0.516.
link(79,136) :- #0.923.
link(136,79) :- #0.525.
link(79,137) :- #0.749.
link(137,79) :- #0.818.
link(80,87) :- #0.815.
link(87,80) :- #0.869.
link(80,90) :- #0.91.
link(90,80) :- #0.279.
link(80,94) :- #0.483.
link(94,80) :- #0.719.
link(80,95) :- #0.632.
link(95,80) :- #0.325.
link(80,109) :- #0.602.
link(109,80) :- #0.485.
link(80,140) :- #0.355.
link(140,80) :- #0.338.
link(81,83) :- #0.723.
link(83,81) :- #0.039.
link(81,84) :- #0.641.
link(84,81) :- #0.804.
link(81,87) :- #0.919.
link(87,81) :- #0.065.
link(81,98) :- #0.483.
link(98,81) :- #0.425.
link(81,103) :- #0.661.
link(103,81) :- #0.135.
link(81,110) :- #0.972.
link(110,81) :- #0.656.
link(81,140) :- #0.92.
link(140,81) :- #0.064.
link(82,124) :- #0.917.
link(124,82) :- #0.594.
link(82,135) :- #0.697.
link(135,82) :- #0.796.
link(83,90) :- #0.969.
link(90,83) :- #0.267.
link(83,100) :- #0.17.
link(100,83) :- #0.313.
link(83,104) :- #0.493.
link(104,83) :- #0.083.
link(83,108) :- #0.996.
link(108,83) :- #0.102.
link(83,115) :- #0.767.
link(115,83) :- #0.519.
link(83,120) :- #0.535.
link(120,83) :- #0.545.
link(83,137) :- #0.023.
link(137,83) :- #0.732.
link(84,103) :- #0.633.
link(103,84) :- #0.574.
link(84,107) :- #0.749.
link(107,84) :- #0.082.
link(84,111) :- #0.214.
link(111,84) :- #0.566.
link(84,116) :- #0.298.
link(116,84) :- #0.868.
link(84,125) :- #0.338.
link(125,84) :- #0.043.
link(84,128) :- #0.083.
link(128,84) :- #0.708.
link(84,136) :- #0.189.
link(136,84) :- #0.467.
link(85,102) :- #0.042.
link(102,85) :- #0.016.
link(85,105) :- #0.964.
link(105,85) :- #0.488.
link(85,111) :- #0.998.
link(111,85) :- #0.95.
link(85,119) :- #0.119.
link(119,85) :- #0.222.
link(85,122) :- #0.48.
link(122,85) :- #0.996.
link(85,126) :- #0.252.
link(126,85) :- #0.653.
link(85,131) :- #0.179.
link(131,85) :- #0.227.
link(85,140) :- #0.092.
link(140,85) :- #0.485.
link(86,112) :- #0.035.
link(112,86) :- #0.995.
link(86,115) :- #0.097.
link(115,86) :- #0.877.
link(86,131) :- #0.909.
link(131,86) :- #0.912.
link(86,134) :- #0.737.
link(134,86) :- #0.366.
link(87,90) :- #0.418.
link(90,87) :- #0.953.
link(87,97) :- #0.243.
link(97,87) :- #0.186.
link(87,100) :- #0.094.
link(100,87) :- #0.165.
link(88,96) :- #0.879.
link(96,88) :- #0.534.
link(89,92) :- #0.035.
link(92,89) :- #0.199.
link(89,107) :- #0.282.
link(107,89) :- #0.366.
link(89,137) :- #0.344.
link(137,89) :- #0.573.
link(89,139) :- #0.315.
link(139,89) :- #0.996.
link(90,92) :- #0.208.
link(92,90) :- #0.59.
link(90,96) :- #0.898.
link(96,90) :- #0.444.
link(90,102) :- #0.678.
link(102,90) :- #0.265.
link(90,103) :- #0.323.
link(103,90) :- #0.544.
link(90,107) :- #0.184.
link(107,90) :- #0.545.
link(91,107) :- #0.535.
link(107,91) :- #0.717.
link(91,110) :- #0.187.
link(110,91) :- #0.055.
link(91,115) :- #0.168.
link(115,91) :- #0.933.
link(91,120) :- #0.268.
link(120,91) :- #0.271.
link(91,132) :- #0.042.
link(132,91) :- #0.222.
link(91,138) :- #0.236.
link(138,91) :- #0.345.
link(91,139) :- #0.252.
link(139,91) :- #0.531.
link(92,94) :- #0.726.
link(94,92) :- #0.172.
link(92,96) :- #0.401.
link(96,92) :- #0.368.
link(92,102) :- #0.382.
link(102,92) :- #0.982.
link(92,113) :- #0.517.
link(113,92) :- #0.357.
link(92,127) :- #0.274.
link(127,92) :- #0.887.
link(92,133) :- #0.351.
link(133,92) :- #0.211.
link(92,135) :- #0.204.
link(135,92) :- #0.974.
link(93,95) :- #0.381.
link(95,93) :- #0.121.
link(93,131) :- #0.091.
link(131,93) :- #0.672.
link(93,136) :- #0.56.
link(136,93) :- #0.772.
link(93,140) :- #0.679.
link(140,93) :- #0.019.
link(94,96) :- #0.805.
link(96,94) :- #0.153.
link(94,131) :- #0.27.
link(131,94) :- #0.861.
link(95,109) :- #0.027.
link(109,95) :- #0.621.
link(95,110) :- #0.551.
link(110,95) :- #0.069.
link(95,111) :- #0.016.
link(111,95) :- #0.835.
link(95,122) :- #0.561.
link(122,95) :- #0.954.
link(95,135) :- #0.552.
link(135,95) :- #0.92.
link(96,104) :- #0.41.
link(104,96) :- #0.755.
link(96,114) :- #0.093.
link(114,96) :- #0.519.
link(96,119) :- #0.065.
link(119,96) :- #0.486.
link(96,126) :- #0.449.
link(126,96) :- #0.015.
link(96,137) :- #0.81.
link(137,96) :- #0.329.
link(97,120) :- #0.84.
link(120,97) :- #0.686.
link(97,125) :- #0.246.
link(125,97) :- #0.196.
link(98,104) :- #0.142.
link(104,98) :- #0.682.
link(98,109) :- #0.833.
link(109,98) :- #0.967.
link(98,119) :- #0.348.
link(119,98) :- #0.518.
link(98,136) :- #0.296.
link(136,98) :- #0.176.
link(99,128) :- #0.945.
link(128,99) :- #0.123.
link(99,132) :- #0.941.
link(132,99) :- #0.646.
link(99,133) :- #0.227.
link(133,99) :- #0.926.
link(100,103) :- #0.376.
link(103,100) :- #0.621.
link(100,109) :- #0.095.
link(109,100) :- #0.842.
link(100,131) :- #0.854.
link(131,100) :- #0.549.
link(100,140) :- #0.715.
link(140,100) :- #0.521.
link(101,102) :- #0.749.
link(102,101) :- #0.509.
link(101,111) :- #0.076.
link(111,101) :- #0.628.
link(101,128) :- #0.419.
link(128,101) :- #0.931.
link(101,133) :- #0.812.
link(133,101) :- #0.981.
link(101,139) :- #0.127.
link(139,101) :- #0.067.
link(102,103) :- #0.375.
link(103,102) :- #0.945.
link(102,108) :- #0.164.
link(108,102) :- #0.632.
link(102,111) :- #0.113.
link(111,102) :- #0.73.
link(102,126) :- #0.823.
link(126,102) :- #0.127.
link(102,127) :- #0.066.
link(127,102) :- #0.18.
link(102,134) :- #0.254.
link(134,102) :- #0.988.
link(103,104) :- #0.249.
link(104,103) :- #0.921.
link(103,123) :- #0.489.
link(123,103) :- #0.567.
link(104,105) :- #0.042.
link(105,104) :- #0.359.
link(104,110) :- #0.116.
link(110,104) :- #0.702.
link(104,119) :- #0.715.
link(119,104) :- #0.221.
link(104,120) :- #0.228.
link(120,104) :- #0.864.
link(104,128) :- #0.296.
link(128,104) :- #0.148.
link(105,128) :- #0.849.
link(128,105) :- #0.37.
link(106,111) :- #0.379.
link(111,106) :- #0.007.
link(106,123) :- #0.901.
link(123,106) :- #0.416.
link(107,119) :- #0.368.
link(119,107) :- #0.156.
link(107,127) :- #0.861.
link(127,107) :- #0.725.
link(108,127) :- #0.169.
link(127,108) :- #0.206.
link(108,131) :- #0.3.
link(131,108) :- #0.689.
link(109,110) :- #0.983.
link(110,109) :- #0.859.
link(109,114) :- #0.877.
link(114,109) :- #0.355.
link(109,120) :- #0.267.
link(120,109) :- #0.141.
link(109,121) :- #0.641.
link(121,109) :- #0.454.
link(109,124) :- #0.933.
link(124,109) :- #0.705.
link(109,133) :- #0.571.
link(133,109) :- #0.585.
link(109,135) :- #0.625.
link(135,109) :- #0.443.
link(109,136) :- #0.538.
link(136,109) :- #0.317.
link(109,137) :- #0.456.
link(137,109) :- #0.327.
link(110,119) :- #0.608.
link(119,110) :- #0.473.
link(110,124) :- #0.805.
link(124,110) :- #0.293.
link(110,137) :- #0.218.
link(137,110) :- #0.529.
link(111,119) :- #0.738.
link(119,111) :- #0.104.
link(111,120) :- #0.789.
link(120,111) :- #0.358.
link(111,122) :- #0.904.
link(122,111) :- #0.999.
link(111,124) :- #0.218.
link(124,111) :- #0.576.
link(111,129) :- #0.659.
link(129,111) :- #0.728.
link(112,121) :- #0.353.
link(121,112) :- #0.226.
link(112,124) :- #0.845.
link(124,112) :- #0.205.
link(112,129) :- #0.251.
link(129,112) :- #0.36.
link(112,131) :- #0.578.
link(131,112) :- #0.824.
link(112,133) :- #0.199.
link(133,112) :- #0.211.
link(113,121) :- #0.394.
link(121,113) :- #0.795.
link(113,129) :- #0.216.
link(129,113) :- #0.892.
link(113,131) :- #0.788.
link(131,113) :- #0.127.
link(113,132) :- #0.958.
link(132,113) :- #0.928.
link(114,120) :- #0.067.
link(120,114) :- #0.952.
link(115,132) :- #0.568.
link(132,115) :- #0.283.
link(117,118) :- #0.226.
link(118,117) :- #0.205.
link(117,133) :- #0.387.
link(133,117) :- #0.966.
link(118,129) :- #0.509.
link(129,118) :- #0.632.
link(118,135) :- #0.387.
link(135,118) :- #0.477.
link(119,132) :- #0.203.
link(132,119) :- #0.206.
link(120,125) :- #0.52.
link(125,120) :- #0.805.
link(120,128) :- #0.038.
link(128,120) :- #0.172.
link(120,140) :- #0.52.
link(140,120) :- #0.604.
link(121,130) :- #0.166.
link(130,121) :- #0.67.
link(121,135) :- #0.369.
link(135,121) :- #0.599.
link(121,139) :- #0.774.
link(139,121) :- #0.64.
link(123,133) :- #0.119.
link(133,123) :- #0.076.
link(123,136) :- #0.998.
link(136,123) :- #0.
link(124,132) :- #0.75.
link(132,124) :- #0.788.
link(125,128) :- #0.175.
link(128,125) :- #0.024.
link(126,134) :- #0.741.
link(134,126) :- #0.507.
link(127,130) :- #0.922.
link(130,127) :- #0.795.
link(127,138) :- #0.961.
link(138,127) :- #0.233.
link(129,135) :- #0.898.
link(135,129) :- #0.333.
link(129,136) :- #0.927.
link(136,129) :- #0.364.
link(130,134) :- #0.895.
link(134,130) :- #0.893.
link(130,135) :- #0.665.
link(135,130) :- #0.644.
link(133,134) :- #0.556.
link(134,133) :- #0.209.
link(133,136) :- #0.853.
link(136,133) :- #0.78.
link(133,138) :- #0.232.
link(138,133) :- #0.61.
link(133,139) :- #0.269.
link(139,133) :- #0.385.
link(134,136) :- #0.386.
link(136,134) :- #0.726.
link(136,137) :- #0.198.
link(137,136) :- #0.349.
link(136,139) :- #0.338.
link(139,136) :- #0.385.
link(138,139) :- #0.525.
link(139,138) :- #0.354.
link(139,140) :- #0.802.
link(140,139) :- #0.598.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
